Alessandro Aldini: искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (26)
Самые популярные
Список
- Список
- Таблица

1

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Год:

2010

Язык:

english

Файл:

PDF, 2.60 MB

0 / 0

english, 2010

2

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Год:

2010

Язык:

english

Файл:

PDF, 2.49 MB

0 / 0

english, 2010

3

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

Год:

2005

Язык:

english

Файл:

PDF, 2.56 MB

0 / 0

english, 2005

4

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Год:

2010

Язык:

english

Файл:

PDF, 2.90 MB

0 / 0

english, 2010

5

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 3.31 MB

0 / 0

english, 2009

6

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 3.64 MB

0 / 0

english, 2011

7

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Год:

2010

Язык:

english

Файл:

PDF, 3.57 MB

0 / 0

english, 2010

8

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 4.33 MB

0 / 0

english, 2007

9

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 3.57 MB

0 / 0

english, 2011

10

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 4.60 MB

0 / 0

english, 2010

11

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 4.67 MB

0 / 0

english, 2010

12

Foundations of Security Analysis and Design VIII: FOSAD 2014/2015/2016 Tutorial Lectures

Foundations of Security Analysis and Design VIII: FOSAD 2014/2015/2016 Tutorial Lectures

Springer International Publishing

Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.)

Год:

2016

Язык:

english

Файл:

PDF, 8.21 MB

0 / 0

english, 2016

13

Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Springer International Publishing

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.)

Год:

2016

Язык:

english

Файл:

PDF, 14.67 MB

0 / 0

english, 2016

14

Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Springer International Publishing

Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.)

Год:

2016

Язык:

english

Файл:

PDF, 9.43 MB

0 / 0

english, 2016

15

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Sele

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Sele

Springer International Publishing

Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.)

Год:

2015

Язык:

english

Файл:

PDF, 13.24 MB

0 / 0

english, 2015

16

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 1.53 MB

0 / 0

english, 2010

17

Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures

Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures

Springer International Publishing

Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 8.66 MB

0 / 0

english, 2014

18

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 1.97 MB

0 / 0

english, 2004

19

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 1.65 MB

0 / 0

english, 2010

20

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 6.64 MB

0 / 0

english, 2007

21

User-Centric Networking: Future Perspectives

User-Centric Networking: Future Perspectives

Springer International Publishing

Alessandro Aldini, Alessandro Bogliolo (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 9.28 MB

0 / 0

english, 2014

22

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

Год:

2005

Язык:

english

Файл:

PDF, 2.24 MB

0 / 0

english, 2005

23

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 2.37 MB

0 / 0

english, 2004

24

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 2.65 MB

0 / 0

english, 2010

25

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 5.45 MB

0 / 0

english, 2009

26

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 3.41 MB

0 / 0

english, 2009